منابع مشابه
On Topological Completeness of Regular Tree Languages
We identify the class of Σ1–inductive sets studied by Moschovakis as a set theoretical generalization of the class (1, 3) of the Rabin-Mostowski index hierarchy of alternating automata on infinite trees. That is, we show that every tree language recognized by an alternating automaton of index (1, 3) is Σ1–inductive, and exhibit an automaton whose language is complete in this class w.r.t. contin...
متن کاملOn Completeness of Dynamic Topological Logic
A classical result on topological semantics of modal logic due to McKinsey and Tarski (often called Tarski theorem) states that the logic S4 is complete with respect to interpretations in R for each n. Recently several authors have considered dynamic topological logics, which are interpreted in dynamic spaces (abstract dynamic systems). A dynamic space is a topological space together with a con...
متن کاملA topological completeness theorem
We prove a topological completeness theorem for innnitary geometric theories with respect to sheaf models. The theorem extends a classical result of Makkai and Reyes, stating that any topos with enough points has an open spatial cover. We show that one can achieve in addition that the cover is connected and locally connected.
متن کاملTopological Completeness for Higher-Order Logic
Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces—so-called “topological semantics”. The first is classical higherorder logic, with relational quantification of finitely high type; the second system is a predicative fragment thereof with quantification over functions between types, but not over a...
متن کاملTopological Completeness of First-order Modal Logic
As McKinsey and Tarski [19] showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for (classical) propositional modal logic, in which the “necessity” operation is modeled by taking the interior of an arbitrary subset of a topological space. The topological interpretation was extended by Awodey and Kishida [3] in a natural ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1940
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1940-07286-6